Harmonizing The Declarative And Imperative In Database Systems